miniBSP: A BSP Language and Transformation System
نویسنده
چکیده
We deene a small BSP-based language, that is simpler and more exible than standard BSP. Its composition rules allow supersteps to be composed sequentially and in parallel, so it is a subset-synchronising language. We give a cost-neutral transformation of BSP to miniBSP, showing how it can be used to compile BSP for clustered architectures. miniBSP also show that BSP can be regarded as one end of a spectrum of languages whose other end is dataaow.
منابع مشابه
New implementation of a parallel composition primitive for a functionnal BSP language
Bulk-Synchronous Parallel ML (BSML) is a ML based language to code Bulk-Synchronous Parallel (BSP)algorithms. It allows an estimation of execution time, avoids deadlocks and non-determinism. BSML proposes anextension of ML programming with parallel primitives on a parallel data structure called parallel vector. One ofthese primitives is dedicated to express at most divide-and-conque...
متن کاملUsing the UML to Describe the BSP Model of Parallel Computation
A Unified Modeling Language (UML) description of the BSP model of parallel computation is presented. This UML description identifies BSP classes and objects and specifies various object and inter-object relationships, dependencies, and behaviors. This was achieved by describing various views of the BSP model using many of the UML structural and behavioral diagrams. The use to the UML to describ...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملCPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons
BSML is an ML based language designed to code Bulk Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, avoids deadlocks and non-determinism. BSML proposes an extension of ML programming with a small set of primitives. One of these primitives, called parallel superposition, allows the parallel composition of two BSP programs. Nevertheless, its past implementation us...
متن کاملتاثیر داروی زولدرونیک اسید در بیان و متیلاسیون ژن BSP در طول تمایز استئوبلاستیک سلولهای بنیادی مزانشیمی
Background and Aim: Bone sialoprotein (BSP) is a specific marker of osteoblastic differentiation. In this research, the effect of Zoledronic Acid on BSP expression and methylation status during osteoblastic differentiation of mesenchymal stem cells (MSCs) was evaluated. Materials and Methods: In this experimental study, MSCs were isolated from human bone marrow. For osteogenic differentiation,...
متن کامل